Descriptive dynamic logic and its application to reflective architectures

The aim of this paper is to propose dynamic logic as a cotmnon logical framework to describe and identify the most relevant formal characteristics of multi-language logical architectures (MLA) in order to investigate the expressive power of the knowledge bases that can be built upon them. In general, a MLA allows to build knowledge bases as a set of units with initial local theories written in possible different logical languages. Each unit is also usually allowed to have its own intra-unit deductive system. Moreover, the whole knowledge base is equipped with an additional set of deductive rules, called bridge rules, to control the information flow among the different units of the knowledge base. The set of bridge rules act as an inter-unit deductive system. The reasoning dynamics of a knowledge base on top of a MLA can therefore be described by how the local theories of the units evolve during execution.